1. Categorical combinators, sequential algorithms, and functional programming
پدیدآورنده : Curien, Pierre-Louis
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Formal languages
رده :
QA
267
.
3
.
C87
1993
2. Categorical combinators, sequential algorithms, and functional programming
پدیدآورنده : Curien, Pierre-Louis
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Formal languages
رده :
QA
267
.
3
.
C87
1993
3. Categorical combinators, sequential algorithms, and functional programming
پدیدآورنده : Pierre- Louis Curien
کتابخانه: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)
موضوع : Formal languages
رده :
QA
,
267
.
3
,.
C87
4. Interactive models of computation and program behavior
پدیدآورنده : Pierre-Louis Curien...]et al.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer science -- Mathematics,، Computable functions,، Computational intelligence
رده :
QA
3
.
P3
No
.
27
